The main result is that is no effective algorithmic answer to the question:how to recognize whether arbitrary modal formula has a first-order equivalent on the class of finite frames. Besides, two known problems are solved: it is proved algorithmic undecidability of finite frame consequence between modal formulas; the difference between global and local variants of first-order definability of modal formulas on the class of transitive frames is shown.

Artificial intelligence plays an important role and has been used by several countries as a health strategy in an attempt to understand, control and find a cure for the disease caused by Coronavirus. These intelligent systems can assist in accelerating the process of developing antivirals for Coronavirus and in predicting new variants of this virus. For this reason, much research on COVID-19 has been developed with the aim of contributing to new discoveries about the Coronavirus. However, there are some epistemological (...) aspects about the use of AI in this pandemic period of Covid-19 that deserve to be discussed and need reflections. In this scenario, this article presents a reflection on the two epistemological aspects faced by the COVID-19 pandemic: The epistemological aspect resulting from the use of patient data to fill the knowledge base of intelligent systems; the epistemological problem arising from the dependence of health professionals on the results/diagnoses issued by intelligent systems. In addition, we present some epistemological challenges to be implemented in a pandemic period. (shrink)

_Purpose._ The purpose of the article lies in studying the main socio-anthropological measurements of the problem of recognition represented primarily by the philosophy of recognition of Alex Honneth, which is actualized by the struggle of the Ukrainian people for their existence and national-cultural recognition. A consistent analysis of the communicative paradigm in contemporary philosophy led to the understanding of its transformation into the reality of the problem of recognition and the identification of the main forms of recognition in it, which (...) determine an individual’s perception of the social space as fair or unfair, where his dignity is disrespected. _Theoretical basis._ Turning to the works of Jurgen Habermas, Otfried Hoeffe, Ernst Tugendhat, Stefan Gosepath, and Thomas Rentsch made it possible to supplement the mainly procedural, theoretical-communicative way of philosophizing with a philosophical-anthropological, existential, contextual principle of awareness of recognition as a fundamental principle of justice and the understanding that the brutal, unjust destruction of the "living world" of a person and the state is synonymous with their physical destruction. The thesis of Francis Fukuyama about the relationship between the desire for recognition and human dignity inherent in human nature has acquired an important theoretical and methodological meaning. _Originality._ The article investigates the modern philosophical discourse of the problem of recognition in the socio-anthropological measurements, in the context of the relationship between recognition, the "living world" and justice, non-recognition, humiliation of human dignity, and injustice. And it was also found that the image of recognition represented by modern philosophical thought, as a horizon and condition of human existence, is based on the following components: justice, solidarity, dignity, and care. Exactly addressing the problem of recognition made it possible to answer the question about the anthropological-ontological, existential meaning of the desire of individuals, nations, and states for recognition and outline the ways of transforming recognition as a variant of "communicative utopia" into a real socio-cultural project. _Conclusions._ In contrast to justice, the theory of recognition comes from asymmetrical human relations, which, in the struggle for recognition, must become symmetrical. Although justice takes precedence over ethics of care and recognition, they are not actually in competition with each other, but belong to different but complementary dimensions of human existence. The perspective of philosophical understanding of the problem of recognition itself requires the deepening of its analysis with an existential-anthropological understanding rooted in a new, tragic life experience. Only under such conditions, it is possible to overcome the gap between often abstract philosophical reflections and real personal and social practices. (shrink)

Purpose. The purpose of the study is to define the negative impact of gender inequality on the global economy and public health. Theoretical basis. Unequal treatment of individuals based on gender discrimination has led to negative consequences in various areas of society. Gender inequality is very costly for the world due to the lack of representation of women in the labor market, gender income inequality situation, glass ceiling effect that have the negative impact on the world economy. Outdated gender roles, (...) which are inconsistent with the new reality and the idea of human progress, have a significant impact on life expectancy, health, mortality and disease, access to health care and medical care. Originality. The vector of the development of the human society changes its direction, which leads to a renewal of an individual status-role framework, the creation of the new systems of values, theories and ideologies that require a new field of opportunities and free human self-identification and gender-identification. Conclusions. The results show that gender inequality has a negative impact on economic growth and development, as well as on physical and mental health. Strictly fixed gender roles limit free human development. Everyone should have the right to determine her/his gender, her/his interests and behavior patterns, while having the right to personal respect and respect for their honor, convictions, and gender practices. (shrink)

The article looks into the issues, outlined in M. Baker's The Atoms of Language: The Mind's Hidden Rules of Grammar. This work is notable for the parametric theory of the languages, set out in it, according to which languages are different, nevertheless retaining the ability to be compared. That can be further supported by the assertion that the differences among languages are determined by "a smallish number of discreet elements, called parameters."What is more, the diversity of language reveals a certain (...) regularity, very much resembling that of Mendeleev's periodic table of chemical elements. Our research team of professional linguists and philosophers put this claim to a critical analysis, the results of which are featured in this article. One of the major ones among them is the supposition that Baker, in accordance with the traditions of Chomsky generative linguistics, turns temporal continuums into special relations. He did that without discussing the consequences of such move, which made it impossible to develop the psychological and linguistic aspect of the subject raised by him. (shrink)

Purpose. The purpose of the study lies in critical reconstruction of Thomas Hobbes’s social contract theory as an important principle not only of modern political anthropology, but also of modern and postmodern social projects. As well as, in the unfolding of the fundamentally important both for the newest social-philosophical and philosophical-anthropological discourses of the thesis that each individual is the origin of both personal and institutional freedom and justice, making the contract first of all with himself, with his desires and (...) sorrows and then with other people and the state. Theoretical basis. The principle of social contract offered by Hobbes became a new social, methodologically significant and relevant principle of regulation of activity, which indicates essential for the modern political philosophy and the philosophy of law transition from teleological to legal ideas of justice. For an in-depth study of the philosophical and anthropological aspects of Hobbes’s contractualism, we used the historical-comparative and contextualization method, as well as the works of leading native and foreign researchers of Hobbes, who uphold the provisions on the organic affiliation of fundamental socio-philosophical and philosophical-anthropological questions about the nature of man, the relation of coercion, freedom and justice with the discourse of social contract. Originality. On the basis of a consistent analysis of the anthropological component of Hobbes’s theory of social contract, an in-depth understanding of modern contractualism and contemporary discussions in the field of its existential and anthropological component is offered, as well as the thesis that political anthropology is the core of the philosophical anthropology because it makes possible the methodologically important understanding of the basic problems of human existence – the interaction of justice and freedom, self-interest and public good, as well as it quite clearly outlines the ways to overcome the dilemmas of liberalism and communitarianism, individualism and holism. Conclusions. Political anthropology of T. Hobbes constructed in the context of a modern social project, justified the issue of interaction between freedom and justice, which is fundamentally important to nowadays, through the search for such a way of social relations, in which an individual, being in the realm of social existence, would seek to limit his own selfishness and freedom for the sake of the common will of the majority. Thanks to Hobbes, the idea of external humility in disobedience to the inner, of freedom of conscience as a "human and citizen", of an understanding of individual independence, which is not just a permissible but accepted by state power, has been acquired with exceptional theoretical and practical meaning. Thanks to Hobbes’s works, the essence was revealed by the relationship between the cooperative and the conflicted vision of man. (shrink)

Throughout his life, John Tyler Bonner contributed to major transformations in the fields of developmental and evolutionary biology. He pondered the evolution of complexity and the significance of randomness in evolution, and was instrumental in the formation of evolutionary developmental biology. His contributions were vast, ranging from highly technical scientific articles to numerous books written for a broad audience. This historical vignette gathers reflections by several prominent researchers on the greatness of John Bonner and the implications of his work.

The umbrella-term ‘executive functions’ includes various domain-general, goal-directed cognitive abilities responsible for behavioral self-regulation. The influential unity and diversity model of EF posits the existence of three correlated yet separable executive domains: inhibition, shifting and updating. These domains may be influenced by factors such as socioeconomic status and culture, possibly due to the way EF tasks are devised and to biased choice of stimuli, focusing on first-world testees. Here, we propose a FREE test battery that includes two open-access tasks for (...) each of the three abovementioned executive domains to allow latent variables to be obtained. The tasks were selected from those that have been shown to be representative of each domain, that are not copyrighted and do not require special hardware/software to be administered. These tasks were adapted for use in populations with varying SES/schooling levels by simplifying tasks/instructions and using easily recognized stimuli such as pictures. Items are answered verbally and tasks are self-paced to minimize interference from individual differences in psychomotor and perceptual speed, to better isolate executive from other cognitive abilities. We tested these tasks on 146 early adolescents of both sexes and varying SES, because this is the age group in which the executive domains of interest become distinguishable and in order to confirm that SES effects were minimized. Performance was determined by Rate Correct Scores, which consider speed-accuracy trade-offs. Scores were sensitive to the expected improvement in performance with age and rarely/inconsistently affected by sex and SES, as expected, with no floor or ceiling effects, or skewed distribution, thus suggesting their adequacy for diverse populations in these respects. Using structural equation modeling, evidence based on internal structure was obtained by replicating the three correlated-factor solution proposed by the authors of the model. We conclude that the FREE test battery, which is open access and described in detail, holds promise as a tool for research that can be adapted for a wide range of populations, as well as altered and/or complemented in coming studies. (shrink)

Paul Engelmann was Adolf Loos’s favorite pupil, private secretary to Karl Kraus and Ludwig Wittgenstein’s most important interlocutor in the years between 1916 and 1928 as well as his partner in building the Stonborough House. Thus it was that the trenchant critique of modernity associated with Wittgenstein’s Vienna originated around Paul Engelmann. The present volume of essays from an international symposium in Aarhus, Denmark in 1999 offers an interdisciplinary perspective on issues bearing upon architecture, language and cultural criticism as they (...) relate to the life’s work of Paul Engelmann. (shrink)

The main article is devoted to the historical and philosophical reconstruction of controversy between Vladimir Solovyov and the authors of the “Faith and Reason” - a magazine of the Kharkov Theological Seminary. This controversy took its place in the “theological and journalistic” or the “theocratic” period of Solovyov’s works. Particular attention is paid to the disputes of Solovyov and T. Stoyanov, A.P. Shost'in and the French Orthodox priest Fr. Vladimir Gette on the theory of dogmatic development in the church. In (...) the context of this controversy, the arguments for the “defense” of Solovyov's position, cited in the magazine “Orthodox Review” by a theologian and Konstantin Leontyev's follower Ivan Kristi are also analyzed. The reception of Solovyov's theocratic ideas and reaction to his ecclesiastical views in both the Catholic and Orthodox circles of Russian and Western society is shown. Especially it concerns the criticism of Solovyov’s ideas in the pages of the French magazines “L’Univers”, “L'Union Chrétienne”, “Revue d’Eglise greque-unie”, etc. The evolution of Solovyov's views on the problem of the union of Eastern and Western churches, the renewal of church communication between Orthodoxy and Catholicism, the main result of which was his fundamental but unfinished work “The History and Future of the Theocracy” was demonstrated. A conclusion about the “superficiality” of the judgments of the majority of Vladimir Solovyov's ideological opponents, as well as later interpreters of his legacy, following the French Jesuit Michel d'Erbigny, who tried to present him as a “Russian Newman” who converted from Orthodoxy into the Catholic faith is drawn. It is shown that Solovyov’s projects of the “religion of the Holy Spirit” and the “Universal Church”, created on its basis, should be considered primarily in the context of his own philosophical quest, and not in connection with the confessional and ideological divergences of his time. (shrink)

Delo filosofii -- ch. 1. Spory evropeĭskoĭ kulʹtury. Ėpicheskiĭ iskhod. Otkrytie soznanii︠a︡. Drevnegrecheskai︠a︡ tragedii︠a︡ i filosofii︠a︡. Afiny i Ierusalim. Novat︠s︡ii︠a︡ Kopernika i kopernikanskai︠a︡ revoli︠u︡t︠s︡ii︠a︡ -- ch. 2. XX vek: k ontologii spornosti. Sofii︠a︡ i chert. Kant pered lit︠s︡om russkoĭ religioznoĭ metafiziki. O vtorom izmerenii myshlenii︠a︡: L. Shestov i filosofii︠a︡. Na poli︠a︡kh "I︠A︡ i Ty".